Optimal. Leaf size=108 \[ -\frac {b (c+d x) \log \left (1-\frac {(a-b) e^{-2 (e+f x)}}{a+b}\right )}{f \left (a^2-b^2\right )}+\frac {b d \text {Li}_2\left (\frac {(a-b) e^{-2 (e+f x)}}{a+b}\right )}{2 f^2 \left (a^2-b^2\right )}+\frac {(c+d x)^2}{2 d (a+b)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.16, antiderivative size = 108, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.222, Rules used = {3731, 2190, 2279, 2391} \[ \frac {b d \text {PolyLog}\left (2,\frac {(a-b) e^{-2 (e+f x)}}{a+b}\right )}{2 f^2 \left (a^2-b^2\right )}-\frac {b (c+d x) \log \left (1-\frac {(a-b) e^{-2 (e+f x)}}{a+b}\right )}{f \left (a^2-b^2\right )}+\frac {(c+d x)^2}{2 d (a+b)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2190
Rule 2279
Rule 2391
Rule 3731
Rubi steps
\begin {align*} \int \frac {c+d x}{a+b \coth (e+f x)} \, dx &=\frac {(c+d x)^2}{2 (a+b) d}-(2 b) \int \frac {e^{-2 (e+f x)} (c+d x)}{(a+b)^2+\left (-a^2+b^2\right ) e^{-2 (e+f x)}} \, dx\\ &=\frac {(c+d x)^2}{2 (a+b) d}-\frac {b (c+d x) \log \left (1-\frac {(a-b) e^{-2 (e+f x)}}{a+b}\right )}{\left (a^2-b^2\right ) f}+\frac {(b d) \int \log \left (1+\frac {\left (-a^2+b^2\right ) e^{-2 (e+f x)}}{(a+b)^2}\right ) \, dx}{\left (a^2-b^2\right ) f}\\ &=\frac {(c+d x)^2}{2 (a+b) d}-\frac {b (c+d x) \log \left (1-\frac {(a-b) e^{-2 (e+f x)}}{a+b}\right )}{\left (a^2-b^2\right ) f}-\frac {(b d) \operatorname {Subst}\left (\int \frac {\log \left (1+\frac {\left (-a^2+b^2\right ) x}{(a+b)^2}\right )}{x} \, dx,x,e^{-2 (e+f x)}\right )}{2 \left (a^2-b^2\right ) f^2}\\ &=\frac {(c+d x)^2}{2 (a+b) d}-\frac {b (c+d x) \log \left (1-\frac {(a-b) e^{-2 (e+f x)}}{a+b}\right )}{\left (a^2-b^2\right ) f}+\frac {b d \text {Li}_2\left (\frac {(a-b) e^{-2 (e+f x)}}{a+b}\right )}{2 \left (a^2-b^2\right ) f^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 3.18, size = 144, normalized size = 1.33 \[ \frac {b \left (-\frac {2 (c+d x) \log \left (\frac {(b-a) e^{-2 (e+f x)}}{a+b}+1\right )}{f (a-b)}+\frac {2 (c+d x)^2}{d \left (a \left (e^{2 e}-1\right )+b \left (e^{2 e}+1\right )\right )}+\frac {d \text {Li}_2\left (\frac {(a-b) e^{-2 (e+f x)}}{a+b}\right )}{f^2 (a-b)}\right )}{2 (a+b)}+\frac {x \sinh (e) (2 c+d x)}{2 (a \sinh (e)+b \cosh (e))} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.46, size = 300, normalized size = 2.78 \[ \frac {{\left (a + b\right )} d f^{2} x^{2} + 2 \, {\left (a + b\right )} c f^{2} x - 2 \, b d {\rm Li}_2\left (\sqrt {\frac {a + b}{a - b}} {\left (\cosh \left (f x + e\right ) + \sinh \left (f x + e\right )\right )}\right ) - 2 \, b d {\rm Li}_2\left (-\sqrt {\frac {a + b}{a - b}} {\left (\cosh \left (f x + e\right ) + \sinh \left (f x + e\right )\right )}\right ) + 2 \, {\left (b d e - b c f\right )} \log \left (2 \, {\left (a + b\right )} \cosh \left (f x + e\right ) + 2 \, {\left (a + b\right )} \sinh \left (f x + e\right ) + 2 \, {\left (a - b\right )} \sqrt {\frac {a + b}{a - b}}\right ) + 2 \, {\left (b d e - b c f\right )} \log \left (2 \, {\left (a + b\right )} \cosh \left (f x + e\right ) + 2 \, {\left (a + b\right )} \sinh \left (f x + e\right ) - 2 \, {\left (a - b\right )} \sqrt {\frac {a + b}{a - b}}\right ) - 2 \, {\left (b d f x + b d e\right )} \log \left (\sqrt {\frac {a + b}{a - b}} {\left (\cosh \left (f x + e\right ) + \sinh \left (f x + e\right )\right )} + 1\right ) - 2 \, {\left (b d f x + b d e\right )} \log \left (-\sqrt {\frac {a + b}{a - b}} {\left (\cosh \left (f x + e\right ) + \sinh \left (f x + e\right )\right )} + 1\right )}{2 \, {\left (a^{2} - b^{2}\right )} f^{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {d x + c}{b \coth \left (f x + e\right ) + a}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.75, size = 357, normalized size = 3.31 \[ \frac {d \,x^{2}}{2 b +2 a}+\frac {c x}{a +b}+\frac {2 b c \ln \left ({\mathrm e}^{f x +e}\right )}{f \left (a +b \right ) \left (a -b \right )}-\frac {b c \ln \left (a \,{\mathrm e}^{2 f x +2 e}+b \,{\mathrm e}^{2 f x +2 e}-a +b \right )}{f \left (a +b \right ) \left (a -b \right )}-\frac {b d \ln \left (1-\frac {\left (a +b \right ) {\mathrm e}^{2 f x +2 e}}{a -b}\right ) x}{f \left (a +b \right ) \left (a -b \right )}-\frac {b d \ln \left (1-\frac {\left (a +b \right ) {\mathrm e}^{2 f x +2 e}}{a -b}\right ) e}{f^{2} \left (a +b \right ) \left (a -b \right )}+\frac {b d \,x^{2}}{\left (a +b \right ) \left (a -b \right )}+\frac {2 b d e x}{f \left (a +b \right ) \left (a -b \right )}+\frac {b d \,e^{2}}{f^{2} \left (a +b \right ) \left (a -b \right )}-\frac {b d \polylog \left (2, \frac {\left (a +b \right ) {\mathrm e}^{2 f x +2 e}}{a -b}\right )}{2 f^{2} \left (a +b \right ) \left (a -b \right )}-\frac {2 b d e \ln \left ({\mathrm e}^{f x +e}\right )}{f^{2} \left (a +b \right ) \left (a -b \right )}+\frac {b d e \ln \left (a \,{\mathrm e}^{2 f x +2 e}+b \,{\mathrm e}^{2 f x +2 e}-a +b \right )}{f^{2} \left (a +b \right ) \left (a -b \right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ -\frac {1}{2} \, {\left (4 \, b \int -\frac {x}{a^{2} - b^{2} - {\left (a^{2} e^{\left (2 \, e\right )} + 2 \, a b e^{\left (2 \, e\right )} + b^{2} e^{\left (2 \, e\right )}\right )} e^{\left (2 \, f x\right )}}\,{d x} - \frac {x^{2}}{a + b}\right )} d - c {\left (\frac {b \log \left (-{\left (a - b\right )} e^{\left (-2 \, f x - 2 \, e\right )} + a + b\right )}{{\left (a^{2} - b^{2}\right )} f} - \frac {f x + e}{{\left (a + b\right )} f}\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \[ \int \frac {c+d\,x}{a+b\,\mathrm {coth}\left (e+f\,x\right )} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {c + d x}{a + b \coth {\left (e + f x \right )}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________